Intrinsic Differential Geometry with Geometric Calculus
نویسندگان
چکیده
Setting up a symbolic algebraic system is the first step in mathematics mechanization of any branch of mathematics. In this paper, we establish a compact symbolic algebraic framework for local geometric computing in intrinsic differential geometry, by choosing only the Lie derivative and the covariant derivative as basic local differential operators. In this framework, not only geometric entities such as the curvature and torsion of an affine connection have elegant representations, but their involved local geometric computing can be simplified.
منابع مشابه
The Shape of Differential Geometry in Geometric Calculus
We review the foundations for coordinate-free differential geometry in Geometric Calculus. In particular, we see how both extrinsic and intrinsic geometry of a manifold can be characterized a single bivector-valued oneform called the Shape Operator. The challenge is to adapt this formalism to Conformal Geometric Algebra for wide application in computer science and engineering.
متن کاملTwo Approaches to Modelling the Universe: Synthetic Differential Geometry and Frame-Valued Sets
I describe two approaches to modelling the universe, the one having its origin in topos theory and differential geometry, the other in set theory. The first is synthetic differential geometry. Traditionally, there have been two methods of deriving the theorems of geometry: the analytic and the synthetic. While the analytical method is based on the introduction of numerical coordinates, and so o...
متن کاملDifferential Geometry
After the introduction of coordinates, it became possible to treat figures in plane and space by analytical methods, and calculus has been the main means for the study of curved figures. For example, one attaches the tangent line to a curve at each point. One sees how tangent lines change with points of the curve and gets an invariant called the curvature. C. F. Gauss, with whom differential ge...
متن کاملExterior Differential Systems and Euler-Lagrange Partial Differential Equations
Preface During the 1996-97 academic year, Phillip Griffiths and Robert Bryant conducted a seminar at the Institute for Advanced Study in Princeton, NJ, outlining their recent work (with Lucas Hsu) on a geometric approach to the calculus of variations in several variables. The present work is an outgrowth of that project; it includes all of the material presented in the seminar, with numerous ad...
متن کاملGraphic lambda calculus and knot diagrams
The graphic lambda calculus [5] is a formalism based on local or global moves acting on locally planar trivalent graphs. In the mentioned paper we showed that ”sectors” of this calculus are equivalent with untyped lambda calculus or with emergent algebras. (The formalism of emergent algebras [2] [3] evolved from differential calculus on metric spaces with dilations [1].) For all the relevant no...
متن کامل